1.
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
by Rolf Hammer, Matthias Hocks...
ISBN: 9783642796531
List Price: $99.00
2.
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and...
by Rolf Hammer, Matthias Hocks...
ISBN: 9783642784255
List Price: $129.00
3.
PASCAL-XSC: Sprachbeschreibung mit Beispielen (German Edition)
by Rudi Klatte, Ulrich Kulisch...
ISBN: 9783540537144
List Price: $69.99